Windows head Steven Sinofsky leaves Microsoft