Choreographic Programming in Rust