On spectrum sharing among micro-operators in 5G