you are an expert python programmer. write a python script to rename some pdfs in the current folder with naming convention "01234567_xxx.pdf" to these naming convention "0123-45-67_xxx.pdf". For example, the file "20220101_xxx.pdf" must be renamed to "2022-01-01_xxx.pdf"