FDA says romaine lettuce ban is over