4 teens arrested for vandalizing Volusia County elementary school