Market design for ancillary service provisions of inertia and frequency response via virtual power plants: A non-convex bi-level optimisation approach | Synapse