Biographical notes on Augusta Ada King