PHP queue implementation using MongoDB as a backend