Что такое happens-before? Зачем разработчику про это знать? Откуда берётся эта гарантия?