Mathematical modeling of membrane-attached biofilms