A Differentiable Programming System to Bridge ML and Scientific Computing