Specification Inference from Demonstrations