pdf howard hartman jan mutmansky introductory mining