Messi to Miami: What that means for real estate