设计接口并且实现一个多线程安全的堆，并且要求可以删除堆中任意元素（非堆顶元素），要求尽量高效，假设已有标准的mutex实现可以使用。