Lisa Franchetti becomes first woman to lead US Navy