Brightline has summer deadline for agreement of route from Orlando to Tampa