Integrating Explanations in Learning LTL Specifications from Demonstrations