Что представляет собой файл WAR и для чего он используется в процессе разработки и развертывания приложений?