Margaret Cox — British pioneer in the use of computers in education