Does the amount shown as paid in state taxes on my W-2 get subtracted from calculated state tax payable automatically?