Controlled-NOT gate design for Josephson phase qubits with tunable inductive coupling: Weyl chamber steering and area theorem