Learning cross-domain correspondence for control with dynamics cycle-consistency