What is the name of the man who wrote the theme tune for the British sitcom written by Graham Linehan and produced by Ash Atalla?