MiraBest: A Dataset of Morphologically Classified Radio Galaxies for Machine Learning