Katastrofa SpaceShipTwo spowodowana była defektem oprogramowania?