Scaling laws for mixed-heated stagnant-lid convection and application to Europa