Researchers at Peking University Open-Source 'CircuitNet,' a Dataset for Machine Learning Applications in Electronic Design Automation (EDA)