A Hadamard-type open map theorem for submersions and applications to completeness results in control theory