OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text