Miami building receives Fla.'s first LEED platinum designation