Theory of the de Haas-van Alphen effect in type-II superconductors