The redox state of planetary basalts