Zaslat SMS: Turbulent drag at the ice-ocean interface of Europa in simulations of rotating convection: implications for nonsynchronous rotation of the ice shell