Spray-painting the hull of a container ship in dry dock