پاول گاردنر الن، مایکروسافت