Bid protest over Library of Congress cloud procurement succeeds