How Much Is a Female CEO Worth to Investors?