Who was the english mathematician who advocated for the application of mathematics to the problem of ensuring the efficient use of facilities?.