Modeling and Inferring Aircraft Takeoff Mass from Runway ADS-B Data