Backstepping Control of Heavy Lift Operations with Crane Vessels