Advanced Mathematical Thinking Working Group: Summary of Birmingham and Leeds meetings