Lorentz violation at high energy: Concepts, phenomena, and astrophysical constraints