half pay leave encashment on retirement