Evidence-based, theoretically informed design as a means to investigate and transform proof practices in school mathematics