OPM formally proposes limiting top performance ratings for federal workers