Core many-to-one matchings by fixed-point methods