Income taxation with frictional labor supply