A behavioral model of evolutionary dynamics and optimal regulation of tax evasion