Safe relational database queries using the Rust type system