How HOL Is Bridging the Gap for Online Science Labs