Lump-type solutions for the (4+1)-dimensional Fokas equation via symbolic computations