Legal Syllogism Prompting: Teaching Large Language Models for Legal Judgment Prediction