mäntä (vanha termi)