Automatically Translating C to Rust