A Model of Leucine Kinetics: A Priori Identifiability and Minimal Input-output Configuration