On progressive sharpening, flat minima and generalisation