Heavy quarks in deep-inelastic scattering