The Non-Associative Lambek Calculus with Product in Polynomial Time