How profitable is mining this Grin coin now? It seems to me that the excitement around Grin has slept a little in the last half year.