What is the average lifespan of a mini split system, and how often should it be maintained?