Linear-use CPS translations in the Enriched Effect Calculus (Logical Methods in Computer Science, 2012)