Steve Ballmer says Microsoft employees who leave for Amazon eventually come back