Delhi HC to rule on judges' allowance taxation dispute July 16