Polylogarithmic concurrent data structures from monotone circuits