Rust's concurrency model vs. Go's concurrency model