how was linux created