Higher-dimensional supergravity