Distretto militare