Phil Raines was known by his pupils "for his good sense of humour and terrible jokes"