Майнер: что такое, как работает, виды майнинга