An integrated Petri net and GA-based approach for performance optimisation of bicycle sharing systems