PeaTMOSS: Mining Pre-Trained Models in Open-Source Software