Differential Games: A Concise Introduction