Replace boost::mutex with std::mutex