Что такое happens-before и какая связь с JIT-оптимизацией?