ASTRO: Reducing COVID-19 Exposure through Contact Prediction and Avoidance