Normalization by Evaluation for the Lambek Calculus