City leaders discuss adding Virgin Trains stop, formerly Brightline, to Boca Raton