Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves