Statistical Properties of Small-scale Linear Magnetic Holes in the Martian Magnetosheath