how to allocate more ram to minecraft server 2018