Behavioural tax microsimulation with finite hours choices