From Nonstandard Analysis to various flavours of Computability Theory