High-Performance Concurrent Memory Allocation