Martin Taylor leaves Microsoft