magistrato militare