Writing Postgres extensions in Rust with pgrx