A Wait-free Queue with Polylogarithmic Step Complexity