How to compute the monthly withholding tax of government employees?