The electrical activity of tetravacancy complexes in high-energy proton-irradiated silicon