Mathematical theory of wind-generation of water waves