Replace gmx::Mutex with std::mutex