Excluding electricians and pipefitters with collective bargaining coverage and employed by the Minneapolis parks and recreation board from the public employees retirement association (PERA)(rt)