Cost of this long-anticipated Brightline West project is $12 billion.