Ben Affleck and Jennifer Garner officially file for divorce