When people use OpenGL to develop apps for tablets and phones, are they typically doing double-buffered graphics? Thank you.