Document Mines.java

All files must be commented to increase readability: all methods must have at least one line of header describing their purpose and parameters; variables and constants should have UNIFORM and INFORMATIVE naming conventions.
