Which theoretical computer science concept, proposed in 1936, described a hypothetical machine capable of computing any algorithm — laying the foundation for every modern computer ever built?