Neural Contraction Metrics for Robust Estimation and Control: A Convex Optimization Approach (2020-06-08T00:00:00.000000Z)