Gravar-mail: On twelve types of covering-based rough sets