Charm in deep-inelastic scattering