An Android layout which splits the available space between child views