Learning selection strategies in Buchberger's algorithm