An evaluation of Mathematics Mastery under the Education Data Service pilot programme