what is pdf and how to use it