Total colorings of planar graphs with maximum degree at least 8