To tackle heat stress on dairy cattle, Nigerian farmers are importing Brazilian Girolando bull semen