The Van Allen radiation belt