Examining Contrail Formation Models with Open Flight and Remote Sensing Data