Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing [video]