An NSF-sponsored program for educational innovation using big data