Recent progress on Serre weight conjectures