A Predictive Services Architecture for Efficient Airspace Operations