7% of Microsoft's US workforce is said to be eligible for the buyout