Microsoft to lay off about 9,000 workers — The Manila Times