Learning from Demonstrations using Signal Temporal Logic