measuring GPU time with opengles extension in NDK