Optimal income taxation with labor supply responses at two margins: When is an Earned Income Tax Credit optimal?