Modify the frequency of mobs spawning on a minecraft server