Proof of modulational instability of Stokes waves in deep water