Modelling And Optimisation Of Resource Usage In An Iot Enabled Smart Campus