Variational formulations for steady water waves with vorticity