What is the address and tax ID number for the State of Florida Retirement System