How many people use openoffice vs libreoffice