Radio Environment Map-Enabled Spectrum Sharing In Mobile Cellular Networks