Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs