Mathematical Playgrounds for Guided Discovery: From Experimentation to Formalisation with JSXGraph