Llemma: An open language model for mathematics