Flight Demonstration and Model Validation of a Prototype Variable-Altitude Venus Aerobot