Pantos formally files to run for Douglas County Attorney