Cereal maker Post is buying Michael Foods