FDA bans use of 7 synthetic food additives after environmental groups sue