Fla. pension fund might invest in real estate