higher implicit taxes for workers under the individual mandate