Opera Mini users close in on 40 million