Rational Prediction of PROTAC-compatible Protein-Protein Interfaces by Molecular Docking