An activity theory investigation of tool-use in undergraduate mathematics