Go's data race detector can miss possible races in executed code when using mutexes