the windfall elimination provision for teachers, firefighters and police officers