Learning temporal formulas from examples is hard