Definitive Differentiation between Single and Mixed Mycobacterial Infections in Red Deer (Cervus elaphus) by a Combination of Duplex Amplification of p34 and f57 Sequences and Hpy188I Enzymatic Restriction of Duplex Amplicons