Henman: We’ll miss Murray when he retires