[C++20] use `std::allocator_traits`

Several members of std::allocator were already deprecated in C++17 and have now been removed in C++20. This patch uses the appropriate members of std::allocator_traits instead.