PDF compression techniques