weak CAS to strong CAS in enqueue()