The Polish government increases its use of Linux