西安到镶汾的高铁还有多少票呢