Minitz mini minimization function mining ordering rules mining blooks of mine Minidiscus spinulosus mini measuring system mining inverse welder mini-nuclear weapon mininum norm solution MINI OVERHEAD CONSOLE mining under pressure