Educational tools for training microscopy in geology: A library of thin sections and rock slices in combination with Peer Assisted Learning (PAL)