What is the distinction between a magistrate and a judge?