Setting up GeoWebCache – how to make pre-rendered tiles for high availability