VOYA RETIREMENT INSURANCE AND ANNUITY COMPANY FLORIDA UNIVERSITY SYSTEM OPTIONAL RETIREMENT PROGRAM AND THE FLORIDA SENIOR MANAGEMENT SERVICE OPTIONAL ANNUITY PROGRAM A GROUP DEFERRED FIXED AND VARIABLE ANNUITY CONTRACT (THE “CONTRACT” OR “CONTRACTS”)...