Which British mathematician published the 1948 paper proposing the concept of the 'self-reproducing automaton', influencing later computer virus theory?