Sheaves on K3 surfaces: moduli spaces, Lagrangian fibrations, and their singularities