The Halakhic Definition of the Mitzva of Shofar