Что такое happens-before? Почему i++ без синхронизации небезопасен?