A variational principle for fluid sloshing with vorticity, dynamically coupled to vessel motion