Mining craft